证明阿基米德性质na>b